Fix commenting convention in PROBLEMS example
authorGlenn Morris <rgm@gnu.org>
Wed, 4 Apr 2012 07:30:02 +0000 (00:30 -0700)
committerGlenn Morris <rgm@gnu.org>
Wed, 4 Apr 2012 07:30:02 +0000 (00:30 -0700)
commit610a0ad195ea2c928deea70c5a177de85ff98df8
treeef56c9104dd3098b1ae6ccc58d8ceabac60e1616
parentc79823447e65172d181bd80240246ab4b200e8af
Fix commenting convention in PROBLEMS example
etc/PROBLEMS